eq\_atom\$n($x$;$y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $x$=1 $y$ then tt else ff